Slate : An Argument - Centered Intelligent Assistant to Professional Reasoners ∗
نویسندگان
چکیده
7 Under the Hood (briefly) 9 8 The Future 9 * With much gratitude, we acknowledge the financial support provided by ARDA that made the development of Slate (v3) possible over a 40 month-long period of intense work in the RAIR Lab.
منابع مشابه
Slate: An Argument-Centered Intelligent Assistant to Human Reasoners
We describe Slate, a logic-based, robust interactive reasoning system that allows human “pilots” to harness an ensemble of intelligent agents in order to construct, test, and express various sorts of natural argumentation. Slate empowers students and professionals in the business of producing argumentation, e.g., mathematicians, logicians, intelligence analysts, designers and producers of stand...
متن کاملGeneric Programming for Domain Reasoners
An exercise assistant is a tool that supports students learning procedural skills, such as solving systems of linear equations, or rewriting a logic expression to disjunctive normal form. The domain reasoner is the component of an exercise assistant that deals with tasks that depend on the semantics of a particular domain. An exercise assistant typically has multiple domain reasoners, and the b...
متن کاملExperiments for Assessing Floating Reinstatement in Argument-based Reasoning
Various Artificial Intelligence semantics have been developed to predict when an argument can be accepted, depending on the abstract structure of its defeaters and defenders. These semantics can make conflicting predictions, as in the situation known as floating reinstatement. We argue that the debate about which semantics makes the correct prediction can be informed by the collection of experi...
متن کاملEstablishing an Argument-Based Validity Approach for a Low-Stake Test of Collocational Behavior
Most of the validation studies conducted across varying test application contexts are usually framed within the traditional conceptualization of validity and therefore lack a comprehensive framework to focus on test score interpretations and test score use. This study aimed at developing and validating a collocational behavior test (CBT), drawing on Kane's argument-based approach to validity. F...
متن کاملAn Intelligent Procedure Assistant Built Using REGULUS 2 and ALTERF
We will demonstrate the latest version of an ongoing project to create an intelligent procedure assistant for use by astronauts on the International Space Station (ISS). The system functionality includes spoken dialogue control of navigation, coordinated display of the procedure text, display of related pictures, alarms, and recording and playback of voice notes. The demo also exemplifies sever...
متن کامل